ZENON FISZ’S AUSTROPHOBIA
نویسندگان
چکیده
The author of the article analyzes account Polish prose writer Zenon Leonard Fisz (1820–1870) on a journey by steamboat from Odessa to Pest and then rail Vienna. is sensitive image wild civilization Balkans, admiring nature Danube ship. On border Austria, his Austrophobia revealed. Austria Vienna, he identifies Viennese with Germany, whose grotesque description contained in Letters (Vilnius 1858, vol. 1-3). identification Austrian German culture complete, ostentatious charged idiosyncrasy. Fisz’s austrophobia develops cultural civilizational basis. afraid negative consequences taking over elements Western European, Slavic East.
منابع مشابه
Implementing Polymorphism in Zenon
Extending rst-order logic with ML-style polymorphism allows to de ne generic axioms dealing with several sorts. Until recently, most automated theorem provers relied on preprocess encodings into mono/many-sorted logic to reason within such theories. In this paper, we discuss the implementation of polymorphism into the rst-order tableau-based automated theorem prover Zenon. This implementation l...
متن کاملZENON Environmental, Inc. - Cross-Flow Pervaporation Technology
It has been subjected to the Agency's peer and administrative reviews and has been approved for publication as an EPA document. Mention of trade names or commercial products does not constitute an endorsement or recommendation for use. iii Foreword The U. S. Environmental Protection Agency (EPA) is charged by Congress with protecting the Nation's land, air, and water resources. Under a mandate ...
متن کاملChecking Zenon Modulo Proofs in Dedukti
Dedukti has been proposed as a universal proof checker. It is a logical framework based on the λΠcalculus modulo that is used as a backend to verify proofs coming from theorem provers, especially those implementing some form of rewriting. We present a shallow embedding into Dedukti of proofs produced by Zenon Modulo, an extension of the tableau-based first-order theorem prover Zenon to deductio...
متن کاملZenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
We propose an extension of the tableau-based first order automated theorem prover Zenon to deduction modulo. The theory of deduction modulo is an extension of predicate calculus, which allows us to rewrite terms as well as propositions, and which is well suited for proof search in axiomatic theories, as it turns axioms into rewrite rules. We also present a heuristic to perform this latter step ...
متن کاملZenon : An Extensible Automated Theorem Prover Producing Checkable Proofs
We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover of the Focal environment, an objectoriented algebraic specification and proof system, which is able to produce OCaml code for execution and Coq code for certification. Zenon can directly generate Coq proofs (proof scripts or pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kiïvs?kì polonìsti?nì studìï
سال: 2022
ISSN: ['2520-2103']
DOI: https://doi.org/10.17721/psk.2022.38.39-57